---

loop-invariant computation

英 [luːp ɪnˈveəriənt ˌkɒmpjuˈteɪʃn] 美 [luːp ɪnˈveriənt ˌkɑːmpjuˈteɪʃn]

【计】循环不变量计算

计算机

---

---